$\forall$$A$, $B$, $C$, $D$:Realizer. $A$ $\subseteq$ $C$ $\Rightarrow$ $B$ $\subseteq$ $D$ $\Rightarrow$ \{$C$ $\parallel$ $D$ $\Rightarrow$ $A$ $\parallel$ $B$\}